home *** CD-ROM | disk | FTP | other *** search
/ CU Amiga Super CD-ROM 24 / CU Amiga Magazine's Super CD-ROM 24 (1998)(EMAP Images)(GB)(Track 1 of 2)[!][issue 1998-07].iso / CUCD / Programming / SWI / source / man / doc.bbl < prev    next >
LaTeX Document  |  1995-08-16  |  2.5 KB

open in: MacOS 8.1     |     Win98     |     DOS

browse contents    |     view JSON data     |     view as text


This file was processed as: LaTeX Document (document/latex).

ConfidenceProgramDetectionMatch TypeSupport
100% dexvert LaTeX Document (document/latex) magic Supported
1% dexvert Text File (text/txt) fallback Supported
100% file LaTeX document, ASCII text default
100% checkBytes Printable ASCII default
100% perlTextCheck Likely Text (Perl) default
100% detectItEasy Format: plain text[LF] default (weak)



hex view
+--------+-------------------------+-------------------------+--------+--------+
|00000000| 25 25 0a 25 25 20 4e 6f | 74 65 20 74 68 61 74 20 |%%.%% No|te that |
|00000010| 74 68 69 73 20 66 69 6c | 65 20 6d 61 79 20 73 61 |this fil|e may sa|
|00000020| 66 65 6c 79 20 62 65 20 | 69 6e 63 6c 75 64 65 64 |fely be |included|
|00000030| 20 69 6e 20 60 64 6f 63 | 2e 74 65 78 27 0a 25 25 | in `doc|.tex'.%%|
|00000040| 20 5c 62 69 62 6c 69 6f | 67 72 61 70 68 79 73 74 | \biblio|graphyst|
|00000050| 79 6c 65 7b 77 68 69 63 | 68 65 76 65 72 7d 20 61 |yle{whic|hever} a|
|00000060| 6e 64 20 5c 62 69 62 6c | 69 6f 67 72 61 70 68 79 |nd \bibl|iography|
|00000070| 7b 77 68 61 74 65 76 65 | 72 7d 20 61 72 65 0a 25 |{whateve|r} are.%|
|00000080| 25 20 6f 6e 6c 79 20 75 | 73 65 66 75 6c 2c 20 69 |% only u|seful, i|
|00000090| 66 20 6f 6e 65 20 61 6c | 73 6f 20 68 61 73 20 74 |f one al|so has t|
|000000a0| 68 65 20 2e 62 69 62 20 | 73 6f 75 72 63 65 73 0a |he .bib |sources.|
|000000b0| 25 25 0a 25 25 20 63 6f | 6d 6d 65 6e 74 73 20 62 |%%.%% co|mments b|
|000000c0| 65 67 69 6e 20 77 69 74 | 68 20 60 25 27 2c 20 75 |egin wit|h `%', u|
|000000d0| 6e 63 65 72 74 61 69 6e | 20 73 75 62 6a 65 63 74 |ncertain| subject|
|000000e0| 73 20 61 72 65 20 6c 61 | 62 65 6c 6c 65 64 20 60 |s are la|belled `|
|000000f0| 3f 3f 27 0a 25 25 0a 0a | 5c 62 65 67 69 6e 7b 74 |??'.%%..|\begin{t|
|00000100| 68 65 62 69 62 6c 69 6f | 67 72 61 70 68 79 7d 7b |hebiblio|graphy}{|
|00000110| 41 6e 6a 65 77 69 65 72 | 64 65 6e 20 5c 26 20 57 |Anjewier|den \& W|
|00000120| 69 65 6c 65 6d 61 6b 65 | 72 2c 20 31 39 38 39 7d |ielemake|r, 1989}|
|00000130| 0a 0a 5c 62 69 62 69 74 | 65 6d 5b 41 6e 6a 65 77 |..\bibit|em[Anjew|
|00000140| 69 65 72 64 65 6e 20 5c | 26 20 57 69 65 6c 65 6d |ierden \|& Wielem|
|00000150| 61 6b 65 72 2c 20 31 39 | 38 39 5d 7b 50 31 30 39 |aker, 19|89]{P109|
|00000160| 38 3a 43 31 2e 36 7d 0a | 41 2e 7e 41 6e 6a 65 77 |8:C1.6}.|A.~Anjew|
|00000170| 69 65 72 64 65 6e 20 61 | 6e 64 20 4a 2e 7e 57 69 |ierden a|nd J.~Wi|
|00000180| 65 6c 65 6d 61 6b 65 72 | 2e 0a 5c 6e 65 77 62 6c |elemaker|..\newbl|
|00000190| 6f 63 6b 20 45 78 74 65 | 6e 73 69 62 6c 65 20 6f |ock Exte|nsible o|
|000001a0| 62 6a 65 63 74 73 2e 0a | 5c 6e 65 77 62 6c 6f 63 |bjects..|\newbloc|
|000001b0| 6b 20 45 53 50 52 49 54 | 20 50 72 6f 6a 65 63 74 |k ESPRIT| Project|
|000001c0| 20 31 30 39 38 20 54 65 | 63 68 6e 69 63 61 6c 20 | 1098 Te|chnical |
|000001d0| 52 65 70 6f 72 74 20 55 | 76 41 2d 43 31 2d 54 52 |Report U|vA-C1-TR|
|000001e0| 2d 30 30 36 61 2c 20 55 | 6e 69 76 65 72 73 69 74 |-006a, U|niversit|
|000001f0| 79 20 6f 66 0a 20 20 41 | 6d 73 74 65 72 64 61 6d |y of. A|msterdam|
|00000200| 2c 20 4d 61 72 63 68 20 | 31 39 38 39 2e 0a 0a 5c |, March |1989...\|
|00000210| 62 69 62 69 74 65 6d 5b | 42 49 4d 2c 20 31 39 38 |bibitem[|BIM, 198|
|00000220| 39 5d 7b 42 49 4d 50 52 | 4f 4c 4f 47 3a 6d 61 6e |9]{BIMPR|OLOG:man|
|00000230| 75 61 6c 7d 0a 7b 5c 65 | 6d 20 42 49 4d 20 50 72 |ual}.{\e|m BIM Pr|
|00000240| 6f 6c 6f 67 20 72 65 6c | 65 61 73 65 20 32 2e 34 |olog rel|ease 2.4|
|00000250| 7d 2e 0a 5c 6e 65 77 62 | 6c 6f 63 6b 20 45 76 65 |}..\newb|lock Eve|
|00000260| 72 62 65 72 67 2c 20 42 | 65 6c 67 69 75 6d 2c 20 |rberg, B|elgium, |
|00000270| 31 39 38 39 2e 0a 0a 5c | 62 69 62 69 74 65 6d 5b |1989...\|bibitem[|
|00000280| 42 6f 77 65 6e 20 5c 26 | 20 42 79 72 64 2c 20 31 |Bowen \&| Byrd, 1|
|00000290| 39 38 33 5d 7b 42 6f 77 | 65 6e 3a 38 33 7d 0a 44 |983]{Bow|en:83}.D|
|000002a0| 2e 5c 2c 4c 2e 7e 42 6f | 77 65 6e 20 61 6e 64 20 |.\,L.~Bo|wen and |
|000002b0| 4c 2e 5c 2c 4d 2e 7e 42 | 79 72 64 2e 0a 5c 6e 65 |L.\,M.~B|yrd..\ne|
|000002c0| 77 62 6c 6f 63 6b 20 41 | 20 70 6f 72 74 61 62 6c |wblock A| portabl|
|000002d0| 65 20 50 72 6f 6c 6f 67 | 20 63 6f 6d 70 69 6c 65 |e Prolog| compile|
|000002e0| 72 2e 0a 5c 6e 65 77 62 | 6c 6f 63 6b 20 49 6e 20 |r..\newb|lock In |
|000002f0| 4c 2e 5c 2c 4d 2e 20 50 | 65 72 65 69 72 61 2c 20 |L.\,M. P|ereira, |
|00000300| 65 64 2e 2c 20 7b 5c 65 | 6d 20 50 72 6f 63 65 65 |ed., {\e|m Procee|
|00000310| 64 69 6e 67 73 20 6f 66 | 20 74 68 65 20 4c 6f 67 |dings of| the Log|
|00000320| 69 63 20 50 72 6f 67 72 | 61 6d 6d 69 6e 67 0a 20 |ic Progr|amming. |
|00000330| 20 57 6f 72 6b 73 68 6f | 70 20 31 39 38 33 7d 2c | Worksho|p 1983},|
|00000340| 20 4c 69 73 61 62 6f 6e | 2c 20 50 6f 72 74 75 67 | Lisabon|, Portug|
|00000350| 61 6c 2c 20 31 39 38 33 | 2e 20 55 6e 69 76 65 72 |al, 1983|. Univer|
|00000360| 73 69 64 61 64 65 20 6e | 6f 76 61 20 64 65 20 4c |sidade n|ova de L|
|00000370| 69 73 62 6f 61 2e 0a 0a | 5c 62 69 62 69 74 65 6d |isboa...|\bibitem|
|00000380| 5b 42 72 61 74 6b 6f 2c | 20 31 39 38 36 5d 7b 42 |[Bratko,| 1986]{B|
|00000390| 72 61 74 6b 6f 3a 38 36 | 7d 0a 49 2e 7e 42 72 61 |ratko:86|}.I.~Bra|
|000003a0| 74 6b 6f 2e 0a 5c 6e 65 | 77 62 6c 6f 63 6b 20 7b |tko..\ne|wblock {|
|000003b0| 5c 65 6d 20 50 72 6f 6c | 6f 67 20 50 72 6f 67 72 |\em Prol|og Progr|
|000003c0| 61 6d 6d 69 6e 67 20 66 | 6f 72 20 41 72 74 69 66 |amming f|or Artif|
|000003d0| 69 63 69 61 6c 20 49 6e | 74 65 6c 6c 69 67 65 6e |icial In|telligen|
|000003e0| 63 65 7d 2e 0a 5c 6e 65 | 77 62 6c 6f 63 6b 20 41 |ce}..\ne|wblock A|
|000003f0| 64 64 69 73 6f 6e 2d 57 | 65 73 6c 65 79 2c 20 52 |ddison-W|esley, R|
|00000400| 65 61 64 69 6e 67 7e 4d | 41 2c 20 31 39 38 36 2e |eading~M|A, 1986.|
|00000410| 0a 0a 5c 62 69 62 69 74 | 65 6d 5b 43 6c 6f 63 6b |..\bibit|em[Clock|
|00000420| 73 69 6e 20 5c 26 20 4d | 65 6c 6c 69 73 68 2c 20 |sin \& M|ellish, |
|00000430| 31 39 38 31 5d 7b 43 6c | 6f 63 6b 73 69 6e 3a 38 |1981]{Cl|ocksin:8|
|00000440| 31 7d 0a 57 2e 5c 2c 46 | 2e 7e 43 6c 6f 63 6b 73 |1}.W.\,F|.~Clocks|
|00000450| 69 6e 20 61 6e 64 20 43 | 2e 5c 2c 53 2e 7e 4d 65 |in and C|.\,S.~Me|
|00000460| 6c 6c 69 73 68 2e 0a 5c | 6e 65 77 62 6c 6f 63 6b |llish..\|newblock|
|00000470| 20 7b 5c 65 6d 20 50 72 | 6f 67 72 61 6d 6d 69 6e | {\em Pr|ogrammin|
|00000480| 67 20 69 6e 20 50 72 6f | 6c 6f 67 7d 2e 0a 5c 6e |g in Pro|log}..\n|
|00000490| 65 77 62 6c 6f 63 6b 20 | 53 70 72 69 6e 67 65 72 |ewblock |Springer|
|000004a0| 2d 56 65 72 6c 61 67 2c | 20 4e 65 77 20 59 6f 72 |-Verlag,| New Yor|
|000004b0| 6b 2c 20 31 39 38 31 2e | 0a 5c 6e 65 77 62 6c 6f |k, 1981.|.\newblo|
|000004c0| 63 6b 20 5b 34 74 68 7e | 65 64 2e 20 31 39 39 34 |ck [4th~|ed. 1994|
|000004d0| 5d 0a 0a 5c 62 69 62 69 | 74 65 6d 5b 4b 65 72 6e |]..\bibi|tem[Kern|
|000004e0| 69 67 68 61 6e 20 5c 26 | 20 52 69 74 63 68 69 65 |ighan \&| Ritchie|
|000004f0| 2c 20 31 39 37 38 5d 7b | 4b 65 72 6e 69 67 68 61 |, 1978]{|Kernigha|
|00000500| 6e 3a 37 38 7d 0a 42 2e | 5c 2c 57 2e 7e 4b 65 72 |n:78}.B.|\,W.~Ker|
|00000510| 6e 69 67 68 61 6e 20 61 | 6e 64 20 44 2e 5c 2c 4d |nighan a|nd D.\,M|
|00000520| 2e 7e 52 69 74 63 68 69 | 65 2e 0a 5c 6e 65 77 62 |.~Ritchi|e..\newb|
|00000530| 6c 6f 63 6b 20 7b 5c 65 | 6d 20 54 68 65 20 43 20 |lock {\e|m The C |
|00000540| 50 72 6f 67 72 61 6d 6d | 69 6e 67 20 4c 61 6e 67 |Programm|ing Lang|
|00000550| 75 61 67 65 7d 2e 0a 5c | 6e 65 77 62 6c 6f 63 6b |uage}..\|newblock|
|00000560| 20 50 72 65 6e 74 69 63 | 65 2d 48 61 6c 6c 2c 20 | Prentic|e-Hall, |
|00000570| 45 6e 67 6c 65 77 6f 6f | 64 20 43 6c 69 66 66 73 |Englewoo|d Cliffs|
|00000580| 7e 4e 4a 2c 20 31 39 37 | 38 2e 0a 25 5c 6e 65 77 |~NJ, 197|8..%\new|
|00000590| 62 6c 6f 63 6b 20 5b 32 | 6e 64 20 65 64 2e 2c 20 |block [2|nd ed., |
|000005a0| 41 4e 53 49 2d 43 2c 20 | 31 39 38 38 5d 0a 0a 5c |ANSI-C, |1988]..\|
|000005b0| 62 69 62 69 74 65 6d 5b | 4f 27 4b 65 65 66 65 2c |bibitem[|O'Keefe,|
|000005c0| 20 31 39 38 35 5d 7b 54 | 4f 50 3a 6d 61 6e 75 61 | 1985]{T|OP:manua|
|000005d0| 6c 7d 0a 52 2e 5c 2c 41 | 2e 7e 4f 27 4b 65 65 66 |l}.R.\,A|.~O'Keef|
|000005e0| 65 2e 0a 5c 6e 65 77 62 | 6c 6f 63 6b 20 7b 5c 65 |e..\newb|lock {\e|
|000005f0| 6d 20 54 68 69 73 20 48 | 65 72 65 20 49 73 6e 27 |m This H|ere Isn'|
|00000600| 74 20 45 76 65 6e 20 46 | 69 6e 65 7d 2c 20 31 39 |t Even F|ine}, 19|
|00000610| 38 35 2e 0a 5c 6e 65 77 | 62 6c 6f 63 6b 20 41 6c |85..\new|block Al|
|00000620| 73 6f 20 61 76 61 69 6c | 61 62 6c 65 20 66 72 6f |so avail|able fro|
|00000630| 6d 20 53 57 49 2c 20 55 | 6e 69 76 65 72 73 69 74 |m SWI, U|niversit|
|00000640| 79 20 6f 66 20 41 6d 73 | 74 65 72 64 61 6d 2e 0a |y of Ams|terdam..|
|00000650| 0a 5c 62 69 62 69 74 65 | 6d 5b 4f 27 4b 65 65 66 |.\bibite|m[O'Keef|
|00000660| 65 2c 20 31 39 39 30 5d | 7b 4b 65 65 66 65 3a 39 |e, 1990]|{Keefe:9|
|00000670| 30 7d 0a 52 2e 5c 2c 41 | 2e 7e 4f 27 4b 65 65 66 |0}.R.\,A|.~O'Keef|
|00000680| 65 2e 0a 5c 6e 65 77 62 | 6c 6f 63 6b 20 7b 5c 65 |e..\newb|lock {\e|
|00000690| 6d 20 54 68 65 20 43 72 | 61 66 74 20 6f 66 20 50 |m The Cr|aft of P|
|000006a0| 72 6f 6c 6f 67 7d 2e 0a | 5c 6e 65 77 62 6c 6f 63 |rolog}..|\newbloc|
|000006b0| 6b 20 4d 49 54 20 50 72 | 65 73 73 2c 20 43 61 6d |k MIT Pr|ess, Cam|
|000006c0| 62 72 69 64 67 65 7e 4d | 41 2c 20 31 39 39 30 2e |bridge~M|A, 1990.|
|000006d0| 0a 0a 5c 62 69 62 69 74 | 65 6d 5b 50 65 72 65 69 |..\bibit|em[Perei|
|000006e0| 72 61 2c 20 31 39 38 36 | 5d 7b 43 50 52 4f 4c 4f |ra, 1986|]{CPROLO|
|000006f0| 47 3a 6d 61 6e 75 61 6c | 7d 0a 46 2e 7e 50 65 72 |G:manual|}.F.~Per|
|00000700| 65 69 72 61 2e 0a 5c 6e | 65 77 62 6c 6f 63 6b 20 |eira..\n|ewblock |
|00000710| 7b 5c 65 6d 20 43 2d 50 | 72 6f 6c 6f 67 20 55 73 |{\em C-P|rolog Us|
|00000720| 65 72 27 73 20 4d 61 6e | 75 61 6c 7d 2c 20 31 39 |er's Man|ual}, 19|
|00000730| 38 36 2e 0a 0a 5c 62 69 | 62 69 74 65 6d 5b 51 75 |86...\bi|bitem[Qu|
|00000740| 69 2c 20 31 39 38 37 5d | 7b 51 55 49 4e 54 55 53 |i, 1987]|{QUINTUS|
|00000750| 3a 6d 61 6e 75 61 6c 7d | 0a 7b 5c 65 6d 20 51 75 |:manual}|.{\em Qu|
|00000760| 69 6e 74 75 73 20 50 72 | 6f 6c 6f 67 25 20 20 20 |intus Pr|olog% |
|00000770| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|00000780| 20 20 20 20 20 20 20 20 | 20 20 72 65 6c 65 61 73 | | releas|
|00000790| 65 20 32 2e 3f 3f 0a 2c | 20 55 73 65 72 20 47 75 |e 2.??.,| User Gu|
|000007a0| 69 64 65 20 61 6e 64 20 | 52 65 66 65 72 65 6e 63 |ide and |Referenc|
|000007b0| 65 20 4d 61 6e 75 61 6c | 7d 2e 0a 5c 6e 65 77 62 |e Manual|}..\newb|
|000007c0| 6c 6f 63 6b 25 20 20 20 | 20 20 20 20 20 20 20 20 |lock% | |
|000007d0| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|000007e0| 20 20 20 20 20 20 20 20 | 20 20 20 20 51 75 69 6e | | Quin|
|000007f0| 74 75 73 20 43 6f 72 70 | 2e 2c 0a 20 4d 6f 75 6e |tus Corp|.,. Moun|
|00000800| 74 61 69 6e 20 56 69 65 | 77 7e 43 41 2c 20 31 39 |tain Vie|w~CA, 19|
|00000810| 38 37 2e 0a 25 5c 6e 65 | 77 62 6c 6f 63 6b 20 5b |87..%\ne|wblock [|
|00000820| 52 65 6c 65 61 73 65 20 | 33 2e 31 2c 20 50 61 6c |Release |3.1, Pal|
|00000830| 6f 20 41 6c 74 6f 7e 43 | 41 2c 20 31 39 39 31 5d |o Alto~C|A, 1991]|
|00000840| 20 20 20 20 25 20 6c 61 | 74 65 73 74 20 3f 3f 0a | % la|test ??.|
|00000850| 0a 5c 62 69 62 69 74 65 | 6d 5b 53 74 65 72 6c 69 |.\bibite|m[Sterli|
|00000860| 6e 67 20 5c 26 20 53 68 | 61 70 69 72 6f 2c 20 31 |ng \& Sh|apiro, 1|
|00000870| 39 38 36 5d 7b 53 74 65 | 72 6c 69 6e 67 3a 38 36 |986]{Ste|rling:86|
|00000880| 7d 0a 4c 2e 7e 53 74 65 | 72 6c 69 6e 67 20 61 6e |}.L.~Ste|rling an|
|00000890| 64 20 45 2e 7e 53 68 61 | 70 69 72 6f 2e 0a 5c 6e |d E.~Sha|piro..\n|
|000008a0| 65 77 62 6c 6f 63 6b 20 | 7b 5c 65 6d 20 54 68 65 |ewblock |{\em The|
|000008b0| 20 41 72 74 20 6f 66 20 | 50 72 6f 6c 6f 67 7d 2e | Art of |Prolog}.|
|000008c0| 0a 5c 6e 65 77 62 6c 6f | 63 6b 20 4d 49 54 20 50 |.\newblo|ck MIT P|
|000008d0| 72 65 73 73 2c 20 43 61 | 6d 62 72 69 64 67 65 7e |ress, Ca|mbridge~|
|000008e0| 4d 41 2c 20 31 39 38 36 | 2e 0a 5c 6e 65 77 62 6c |MA, 1986|..\newbl|
|000008f0| 6f 63 6b 20 5b 32 6e 64 | 7e 65 64 2e 20 31 39 39 |ock [2nd|~ed. 199|
|00000900| 34 5d 0a 0a 5c 62 69 62 | 69 74 65 6d 5b 57 61 72 |4]..\bib|item[War|
|00000910| 72 65 6e 2c 20 31 39 38 | 33 5d 7b 57 61 72 72 65 |ren, 198|3]{Warre|
|00000920| 6e 3a 38 33 62 7d 0a 44 | 2e 5c 2c 48 2e 5c 2c 44 |n:83b}.D|.\,H.\,D|
|00000930| 2e 7e 57 61 72 72 65 6e | 2e 0a 5c 6e 65 77 62 6c |.~Warren|..\newbl|
|00000940| 6f 63 6b 20 54 68 65 20 | 72 75 6e 74 69 6d 65 20 |ock The |runtime |
|00000950| 65 6e 76 69 72 6f 6e 6d | 65 6e 74 20 66 6f 72 20 |environm|ent for |
|00000960| 61 20 50 72 6f 6c 6f 67 | 20 63 6f 6d 70 69 6c 65 |a Prolog| compile|
|00000970| 72 20 75 73 69 6e 67 20 | 61 20 63 6f 70 79 20 61 |r using |a copy a|
|00000980| 6c 67 6f 72 69 74 68 6d | 2e 0a 5c 6e 65 77 62 6c |lgorithm|..\newbl|
|00000990| 6f 63 6b 20 54 65 63 68 | 6e 69 63 61 6c 20 52 65 |ock Tech|nical Re|
|000009a0| 70 6f 72 74 20 38 33 2f | 30 35 32 2c 20 53 55 4e |port 83/|052, SUN|
|000009b0| 59 20 61 6e 64 20 53 74 | 6f 6e 65 20 42 72 6f 6f |Y and St|one Broo|
|000009c0| 6b 2c 20 4e 65 77 20 59 | 6f 72 6b 2c 20 31 39 38 |k, New Y|ork, 198|
|000009d0| 33 2e 0a 5c 6e 65 77 62 | 6c 6f 63 6b 20 4d 61 6a |3..\newb|lock Maj|
|000009e0| 6f 72 20 72 65 76 69 73 | 69 6f 6e 20 4d 61 72 63 |or revis|ion Marc|
|000009f0| 68 20 31 39 38 34 2e 0a | 0a 5c 65 6e 64 7b 74 68 |h 1984..|.\end{th|
|00000a00| 65 62 69 62 6c 69 6f 67 | 72 61 70 68 79 7d 0a |ebibliog|raphy}. |
+--------+-------------------------+-------------------------+--------+--------+